CP1
State Kind
ChoicePoint
Parent State
on
Condition
return (*rtdata == 0);